Abstract Semantic Differencing for Numerical Programs
نویسندگان
چکیده
Semantic Differencing for Numerical Programs Nimrod Partush and Eran Yahav
منابع مشابه
Summaries ∗
Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program’s lifetime. This is due, in large part, to the use of syntactic program differencing techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we d...
متن کاملSymbolic Summaries ∗
Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program’s lifetime. This is due, in large part, to the use of syntactic program differencing techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we d...
متن کاملComputational Divided Differencing and Divided-Difference Arithmetics
Tools for computational differentiation transform a program that computes a numerical function F(x) into a related program that computes F ′(x) (the derivative of F). This paper describes how techniques similar to those used in computational-differentiation tools can be used to implement other program transformations—in particular, a variety of transformations for computational divided differen...
متن کاملA Generic Framework for Realizing Semantic Model Differencing Operators
As models constitute the main software artifacts in model-driven engineering, managing their evolution has attracted much research. One important technique in this realm is model differencing concerned with identifying differences among models. The majority of existing model differencing approaches identify differences by applying a fine-grained analysis of models based on their abstract syntax...
متن کاملSemantic Model Differencing Based on Execution Traces
Managing the evolution of software artifacts is a crucial issue in software engineering. As in the software engineering paradigm model-driven engineering (MDE), the main software artifacts are models, managing the evolution of models constitutes a key concern in MDE. One important technique in this realm is model differencing, which is concerned with identifying differences among different vers...
متن کامل